Anamaria M. Moreira: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Specification and Runtime Verification of Java Card Programs

Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 386 KB

english, 2009

2

Developing Java Card Applications with B

Bruno Emerson Gurgel Gomes, Anamaria Martins Moreira, David Déharbe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 334 KB

english, 2007

3

JCML: A specification language for the runtime verification of Java Card programs

Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante, Plácido A. Souza Neto

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 753 KB

english, 2012

4

Verified Compilation and the B Method: A Proposal and a First Appraisal

Bartira Dantas, David Déharbe, Stephenson Galvão, Anamaria Martins Moreira, Valério Medeiros Júnior

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 414 KB

english, 2009

5

Pesquisa clínica sob a ótica da integridade

Feijó, Anamaria Gonçalves dos Santos, Crippa, Anelise, Giordani, Andressa Daron, Vieira, Natália Moreira, Isaia Filho, Carlos

Journal:

Revista Bioética

Year:

2018

File:

PDF, 389 KB

2018

6

Modelo de indução de lesão no ligamento suspensório equino com utilização de punch para biópsia cutânea

Soares, Anamaria Santos, Alves, Geraldo Eleno Silveira, Lago, Luis Alberto do, Spadeto Junior, Odael, Moreira, Deliene de Oliveira, Faleiros, Rafael Resende

Journal:

Year:

2010

File:

PDF, 226 KB

2010

7

Effect of 808

Toma, Renata Luri, Tucci, Helga Tatiana, Antunes, Hanna Karen Moreira, Pedroni, Cristiane Rodrigues, Oliveira, Anamaria Siriani, Buck, Isabela, Ferreira, Pryscilla Dieguez, Vassão, Patricia Gabrielle,

Journal:

Lasers in Medical Science

Year:

2013

Language:

english

File:

PDF, 250 KB

english, 2013

8

Translation, cultural adaptation and reproducibility of the Oxford Shoulder Score questionnaire for Brazil, among patients with rheumatoid arthritis

Lima, Eider da Silva, Natour, Jamil, Moreira, Emilia, Jones, Anamaria

Journal:

Sao Paulo Medical Journal

Year:

2015

File:

PDF, 499 KB

2015

9

Implementing Local Intervals in CASL

Regivan H.N. Santiago, Anamaria M. Moreira, Katiane R. Lopes

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 384 KB

english, 2007

10

Manipulating algebraic specifications with term-based and graph-based representations

Anamaria Martins Moreira, Christophe Ringeissen, David Déharbe, Gleydson Lima

Journal:

The Journal of Logic and Algebraic Programming

Year:

2004

Language:

english

File:

PDF, 458 KB

english, 2004

11

Simulating Algebraic Specification Genericity on Languages with Initial Semantics

Anamaria Martins Moreira, Anderson Santana de Oliveira

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 224 KB

english, 2004

12

Random X Inactivation and Extensive Mosaicism in Human Placenta Revealed by Analysis of Allele-Specific Gene Expression along the X Chromosome

Moreira de Mello, Joana Carvalho, Araújo, Érica Sara Souza de, Stabellini, Raquel, Fraga, Ana Maria, Souza, Jorge Estefano Santana de, Sumita, Denilce R., Camargo, Anamaria A., Pereira, Lygia V., Hear

Journal:

Year:

2010

Language:

english

File:

PDF, 1.07 MB

english, 2010

13

Maternal embryonic leucine zipper kinase transcript abundance correlates with malignancy grade in human astrocytomas

Suely K.N. Marie, Oswaldo K. Okamoto, Miyuki Uno, Ana Paula G. Hasegawa, Sueli M. Oba-Shinjo, Tzeela Cohen, Anamaria A. Camargo, Ana Kosoy, Carlos G. Carlotti Jr., Silvia Toledo, Carlos A. Moreira-Fil

Journal:

International Journal of Cancer

Year:

2008

Language:

english

File:

PDF, 143 KB

english, 2008

14

Cryptococcal meningitis epidemiology: 17 years of experience in a State of the Brazilian Pantanal

Nunes, Joslaine de Oliveira, Tsujisaki, Rosianne Assis de Sousa, Nunes, Maína de Oliveira, Lima, Gláucia Moreira Espíndola, Paniago, Anamaria Mello Miranda, Pontes, Elenir Rose Jardim Cury, Chang, Mar

Journal:

Revista da Sociedade Brasileira de Medicina Tropical

Year:

2018

Language:

english

File:

PDF, 2.37 MB

english, 2018

15

An empirical study of test generation with BETA

Ernesto C. B. de Matos,Anamaria M. Moreira…

Journal:

Journal of the Brazilian Computer Society

Year:

2016

Language:

english

File:

PDF, 1.50 MB

english, 2016

16

Avaliação do exercício físico como fator de analgesia em um modelo experimental de ciatalgia

Gaffuri, Juliana, Meireles, Anamaria, Rocha, Bruno Pogorzelski, Rosa, Camila Thieime, Artifon, Elisangela Lourdes, Silva, Lígia Inez, Moreira, Natalia Boneti, Bertolini, Gladson Ricardo Flor

Journal:

Revista Brasileira de Medicina do Esporte

Year:

2011

File:

PDF, 117 KB

2011

17

Semantic Web Services testing: A Systematic Mapping study

de Souza Neto, João B., Moreira, Anamaria M., Musicante, Martin A.

Journal:

Computer Science Review

Year:

2018

Language:

english

File:

PDF, 3.02 MB

english, 2018

18

Avaliação do exercício físico como fator de analgesia em um modelo experimental de ciatalgia

Gaffuri, Juliana, Meireles, Anamaria, Rocha, Bruno Pogorzelski, Rosa, Camila Thieime, Artifon, Elisangela Lourdes, Silva, Lígia Inez, Moreira, Natalia Boneti, Bertolini, Gladson Ricardo Flor

Journal:

Revista Brasileira de Medicina do Esporte

Year:

2011

Language:

english

File:

PDF, 117 KB

english, 2011

19

[BMJ Publishing Group Ltd and European League Against Rheumatism Annual European Congress of Rheumatology, EULAR 2019, Madrid, 12â15 June 2019 - ()] Oral Presentations - OP0273âHPR FUNCTIONAL EXERCISE FOR ADULTS WITH CHRONIC NON-SPECIFIC LOW BACK PAIN: A RANDOMIZED CONTROLLED TRIAL

Moreira, Emilia, Jones, Anamaria, Lima, Eider Da Silva, Jennings, Fabio, Natour, Jamil

Year:

2019

File:

PDF, 49 KB

2019

20

Preface

Anamaria Martins Moreira, Leila Ribeiro

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 70 KB

english, 2008

21

Clinical outcomes and risk factors for death from disseminated histoplasmosis in patients with AIDS who visited a high-complexity hospital in Campo Grande, MS, Brazil

Boigues, Barbara Cristina Scarcelli, Paniago, Anamaria Mello Miranda, Lima, Gláucia Moreira Espíndola, Nunes, Maina de Oliveira, Uehara, Silvia Naomi de Oliveira

Journal:

Revista da Sociedade Brasileira de Medicina Tropical

Year:

2018

Language:

english

File:

PDF, 897 KB

english, 2018

22

Dermcidin exerts its oncogenic effects in breast cancer via modulation of ERBB signaling

Bancovik, Jasna, Moreira, Dayson F, Carrasco, Daniel, Yao, Jun, Porter, Dale, Moura, Ricardo, Camargo, Anamaria, Fontes-Oliveira, Cibely C, Malpartida, Miguel G, Carambula, Silvia, Vannier, Edouard, S

Journal:

Year:

2015

Language:

english

File:

PDF, 2.30 MB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски